Browsing by Subject "Boolean functions"
Now showing items 1-10 of 10
-
Conference Object
An abstract channel specification and an algorithm implementing it using Java sockets
(2008)Models and specifications can be used in the design of distributed applications to formally reason about their safety properties. However, the benefits of using formal methods are often negated by the ad hoc process of ...
-
Conference Object
Distributed stochastic power control for time-varying long-term and short-term fading wireless networks
(2007)In this paper, new time-varying wireless channel models that capture both the space and time variations of longterm and short-term fading wireless networks are developed. The proposed models are based on stochastic ...
-
Conference Object
A general framework for continuous time power control in time varying long term fading wireless networks
(2007)In this paper, a general framework for continuous time power control algorithm under time varying long term fading wireless channels is developed. This contrasts most of the power control algorithms introduced in the ...
-
Conference Object
Hybrid CAC for MBMS-enabled 3G UMTS networks
(2006)In this paper, a novel hybrid Connection Admission Control (CAC) scheme combining downlink transmission power and aggregate throughput in the case of dedicated and shared connection setup respectively, is presented ("DPTCAC: ...
-
Conference Object
A hybrid fault-tolerant algorithm for MPLS networks
(2006)In this paper we present a novel fault-tolerant algorithm for use in MPLS based networks. The algorithm is employing both protection switching and path rerouting techniques and satisfies four selected performance criteria.
-
Conference Object
Least-cost firing sequence estimation in labeled Petri nets with unobservable transitions
(2007)This paper develops a recursive algorithm for estimating the least-cost transition firing sequences that match the observation of a sequence of labels produced by transition activity in a given labeled Petri net. The Petri ...
-
Article
Potential field based geometric modelling using the method of fundamental solutions
(2006)We propose a new geometric modelling method based on the so-called potential field (PF) modelling technique. The harmonic problem associated with this technique is solved numerically using the method of fundamental solutions ...
-
Article
Systematic assessment of rigid internal combustion engine dynamic coupling
(2008)Accurate estimation of engine vibrations is essential in the design of new engines, engine mounts, and the vehicle frames to which they are attached. Mount force prediction has traditionally been simplified by assuming ...
-
Conference Object
Time varying wireless channel modeling, estimation, identification, and power control from measurements
(2007)This paper is concerned with a time-varying wireless channel modeling, its parameter estimation, system identification, and optimal power control from measurement data. The channel model is represented in state space form, ...
-
Article